$\forall$$T$:Type, $l$:($T$ List), $i$:\{0..$\parallel$$l$$\parallel^{-}$\}, $j$:\{0..($i$+1)$^{-}$\}, $x$:\{0..($i$ {-} $j$)$^{-}$\}.
\\[0ex]l\_interval($l$;$j$;$i$)[$x$] = $l$[($j$+$x$)] $\in$ $T$